The present paper has three objectives: Presenting an actualization of a proof of the decidability of monadic predicates logic in the contemporary model theory context; Show examples of decidable and undecidable fragments inside First order logic, offering an original proof of the following theorem: Any formula of First of order logic is decidable if its prenex normal form is in the following form: ∀x1,…,∀xn∃y1,…,∃ymφ; Presenting a theorem that characterizes the validity of First order logic by the tautologicity of Propositional logic, (...) said result is interesting since immediately arises the doubt of how to conciliate said characterization with Alonzo Church’s Undecidability Theorem for First Order Logic. (shrink)

The authors of Beziau and Franceschetto work with logics that have the property of not satisfying any of the formulations of the principle of non contradiction, Béziau and Franceschetto also analyze, among the three-valued logics, which of these logics satisfy this property. They prove that there exist only four of such logics, but only two of them are worthwhile to study. The language of these logics does not consider implication as a connective. However, the enrichment of a language with an (...) implication connective leads us to more interesting systems, therefore we look for one implication for these logics and we study further properties that the logics obtain when this connective is added to these systems. (shrink)

Church's Undecidability Theorem is one of the meta-theoretical results of the mid-third decade of the last century, which along with other limiting theorems such as those of Gödel and Tarski have generated endless reflections and analyzes, both within the framework of the formal sciences, that is, mathematics, logic and theoretical computation, as well as outside them, especially the philosophy of mathematics, philosophy of logic and philosophy of mind. We propose, as a general purpose of this article, to formulate Church's Undecidability (...) Theorem and present the main ideas of its demonstration. In order to carry out the first objective, we need to introduce and explain the notions of recursive function and numbering used by Gödel, which will allow to formally and rigorously enunciate Church's Theorem. After we enunciate Church's Theorem of Unspeakability in a formal and rigorous manner, we will present the main ideas of the proof of Church's Undecidability Theorem for First Order Logic, which uses Robinson's axiomatic system for arithmetic and four facts about himself: In Robinson's system for arithmetic recursive functions are representable Robinson's system is undecidable, The number of axioms proper to the Robinson system is finite and The logical calculation of the Robinson system is equal to the calculation of the first-order logic. (shrink)

El objetivo principal de este trabajo pasa por mostrar la presencia de ciertos valores clásicos y estructuras del medievo –sin por ello absolutizar su importancia– dentro del inconcluso proceso de construcción de una modernidad específicamente latinoamericana. En primer lugar, analizaremos el contexto intelectual de Nueva España durante el siglo XVI, profundamente influenciado en un sentido amplio por el humanismo renacentista europeo. En segundo lugar, atenderemos a la emergencia de una conciencia criolla en Perú a partir del siglo XVII y en (...) Nueva España a lo largo del siglo XVIII como resultado de la hibridación cultural. (shrink)

We present a Hilbert-style axiomatization of a recently introduced logic, called G'3 G'3 is based on a 3-valued semantics. We prove a soundness and completeness theorem. The replacement theorem holds in G'3. As it has already been shown in previous work, G'3 can express some non-monotonic semantics. We prove that G'3can define the same class of functions as Lukasiewicz 3 valued logic. Moreover, we identify some normal forms for this logic.

In memoriam José Arrazola Ramírez The logic $\textbf{G}^{\prime}_3$ was introduced by Osorio et al. in 2008; it is a three-valued logic, closely related to the paraconsistent logic $\textbf{CG}^{\prime}_3$ introduced by Osorio et al. in 2014. The logic $\textbf{CG}^{\prime}_3$ is defined in terms of a multi-valued semantics and has the property that each theorem in $\textbf{G}^{\prime}_3$ is a theorem in $\textbf{CG}^{\prime}_3$. Kripke-type semantics has been given to $\textbf{CG}^{\prime}_3$ in two different ways by Borja et al. in 2016. In this work, (...) we continue the study of $\textbf{CG}^{\prime}_3$, obtaining a Hilbert-type axiomatic system and proving a soundness and completeness theorem for this logic. (shrink)

A lo largo de la historia, las relaciones de la poesía con las otras bellas artes han sido objeto de numerosos estudios basados principalmente en criterios de comparación. El lenguaje poético, trasciende las fronteras de la literatura y se convierte en un elemento clave para determinar si la obra es arte. La forma, la percepción y la ejecución de la performance, que en sus orígenes estaba ligada al acto representativo basado en el texto, como medio artístico de expresión en el (...) contexto latinoamericano se convierte en una herramienta de denuncia en las movilizaciones sociales relativas a la defensa de los derechos humanos. El máximo exponente del arte performance en Guatemala, Regina José Galindo (nacida en 1974), comenzó su trayectoria desde el ámbito de la poesía. Sus acciones performativas establecen conexiones formales y funcionales con el lenguaje poético, creando metáforas a través del sujeto, el objeto y la acción, que sirven como catalizador del mensaje a transmitir y que provocan otro tipo de recepción, que va más allá de los límites habituales que se circunscriben a ambas disciplinas. Las metáforas performativas de la artista, además de cuestionar la posición social de la mujer, logran que el observador, a través de la identificación, alcance la plenitud de la experiencia emancipatoria. (shrink)

¿Qué ha pasado con el problema del cardinal del continuo después de Gödel (1938) y Cohen (1964)? Intentos de responder esta pregunta pueden encontrarse en los artículos de José Alfredo Amor (1946-2011), "El Problema del continuo después de Cohen (1964-2004)", de Carlos Di Prisco , "Are we closer to a solution of the continuum problem", y de Joan Bagaria, "Natural axioms of set and the continuum problem" , que se pueden encontrar en la biblioteca digital de mi blog de (...) Lógica Matemática y Fundamentos de la Matemática (ver). También en la entrada "The Continuum Hypothesis" de la web de Enciclopedia de Filosofía de la Universidad de Stanford existe información importante y actualizada al respecto. En esta breve nota se comenta sobre el tema de una manera divulgativa. (shrink)

En reseña de: Galindo, Alfonso y Ujaldón, Enrique (coords.), ¿Quién dijo populismo?, Biblioteca Nueva, Madrid, 2018.

The paper deals with the interpretation of Wittgenstein's views on the power of occurrent mental states to sort objects or states of affairs as in accord or in conflict with them, as presented in the rule-following passages of the Philosophical Investigations. I shall argue first that the readings advanced by Saul Kripke and John McDowell fail to provide a satisfactory construal of Wittgenstein's treatment of a platonist account of this phenomenon, according to which the sorting power of occurrent mental states (...) is to be explained by reference to the mind's ability to grasp universals. I contend that the argument that Kripke extracts from Wittgenstein's discussion doesn't succeed in undermining the platonist position. Then I argue that McDowell's reading exhibits a more serious shortcoming: the position that he ascribes to Wittgenstein is indistinguishable from the platonist account. Then I put forward a proposal as to how to articulate the relationship between Wittgenstein's views and the platonist position. (shrink)

Th. W. Adorno y los demás autores de la Teoría Crítica supieron captar procesos sociales incipientes que no han hecho sino desplegarse y confirmarse con el tiempo. Frente a quienes denuncian sus supuestas aporías y exagerado negativismo, se reivindica aquí la actualidad de una de sus tesis más conocidas y discutidas, la de la aniquilación del individuo. El paso del capitalismo liberal al monopolista sirve de horizonte para analizar las contradicciones del individuo burgués y su constitución social. En una segunda (...) parte se aborda la «debilidad del yo» como aquella configuración psíquica que se corresponde con la liquidación del individuo en la sociedad tardocapitalista. En el centenario del nacimiento de Th. W. Adorno valgan estas reflexiones de homenaje a un pensador y un pensamiento cada día más imprescindibles. (shrink)

The timing of the Japanese Government's acceptance of the United Nations multilateral treaties governing several environmental concerns indicates Japan's priorities: biodiversity, global warming, and depletion of the ozone layer. Banning transboundary movement of hazardous wastes is the least prioritized, as indicated by Japan's failure to accept the Ban Amendment to the Basel Convention. The Japanese Environment Agency's policy statements and budget allocations between 1985 and 2000, as well as other official statements and programs, likewise indicate the same priorities. Moreover, of (...) the three priorities, global warming is the top. (shrink)

O objetivo do artigo é apresentar como Simondon concebe o objeto técnico, a mediação e o ensino refletido da técnica. Num primeiro momento será apresentada a defesa dos objetos técnicos frente a acusação de restrição da experiência humana, da cultura. Num segundo, será apresentada a genealogia do objeto técnico, compreendido enquanto mediação entre o homem e a natureza, para então abordar o tema do ensino refletido da técnica.

Estudo introdutório de apresentação, seguido de tradução, da palestra “Fenomenologia e antropologia”, ministradas por Edmund Husserl nas sedes da Kantgesellschaft de Frankfurt, Berlim e Halle em 1931, na qual avalia criticamente, a partir dos pressupostos transcendentais da fenomenologia, a tendência da filosofia alemã dos anos 20 do século passado para uma antropologia filosófica.

Corporate social performance (CSP) has become a widely applied concept, discussed in most large firms’ corporate reports and the academic literature alike. Unfortunately, CSP has largely been employed as a way of demonstrating corporate social responsibility (CSR) in practice, or to justify the business case for CSR in academia by relating some measure of CSP to some measure of financial performance. In this article, we discuss multiple shortcomings to these approaches. We argue that (1) CSR activities need to be managed (...) and measured as projects and aggregated to the business or corporate level using a project portfolio; (2) appropriate measures need to be identified that move away from reporting the firm’s activities toward quantifying actual social outcomes achieved; and (3) given the types of projects prevalent in CSR, statistical evaluation methods common in other fields (ideally, pre-test post-test control group designs, such as used in medicine or propensity score matching for ongoing or past projects) should be employed to properly measure outcomes. We make a first, albeit imperfect, attempt at using such an approach with data collected on behalf of the Patrimonio Hoy project, a well-publicized CSR initiative carried out by Cemex in Mexico. We show that the results from this data reinforce concerns voiced earlier in this article. (shrink)

In this chapter, I outline what philosophers working on the ethics of immigration have had to say with regard to invidious discrimination. In doing so, I look at both instances of direct discrimination, by which I mean discrimination that is explicitly stated in official immigration policy, and indirect discrimination, by which I mean cases where the implementation or enforcement of facially “neutral” policies nonetheless generate invidious forms of discrimination. The end goal of this chapter is not necessarily to take a (...) side, but to outline the terrain and provide the reader with an adequate entryway into these philosophical discussions over discrimination and immigration. (shrink)

Resumen: El presente trabajo analiza las aportaciones de Ortega a la sociología de la filosofía. Se comienza explicando las circunstancias históricas en las que escribió nuestro autor. Posteriormente se presentan sus innovaciones, poniéndolas en relación con problemas tratados por Althusser, Skinner, Collins o Bourdieu. Así se propone que Ortega produce innovaciones en la concepción de las carreras en filosofía, en cómo las ideas de articulan en contextos locales, en la visión de la temporalidad de la filosofía y en la visión (...) crítica de la escolástica.: This paper analyzes Ortega's contributions to the sociology of philosophy. It begins by explaining the historical circumstances in which our author wrote. Subsequently, his innovations are presented in relation to problems dealt with by Althusser, Skinner, Collins, or Bourdieu. Thus, it is proposed that Ortega produces innovations in the conception of careers in philosophy, in how ideas are articulated in local contexts, in the vision of the temporality of philosophy and in the critical vision of scholasticism. (shrink)

This study examines the linguistic construal and cognitive representation of time and viewpoint in the genre of news narratives. We present a model of mental spaces that involves a News Space in which the deictic center is construed of the news actors at the time the newsworthy events took place, and a Reality Space in which the deictic here-and-now center of journalist and reader is construed. This model explains how the dynamic representation of narrative news discourse, characterized by shifts in (...) time and viewpoint, is steered by linguistic devices. An analysis of Dutch news narratives shows that temporal adverbs such as yesterdayand shifts from present tense to past tense may signal a moveforwardin narrative time, to a viewpoint in the future relative to the narrative now-point, rather thanbackward. These atypical time shifts can be accounted for by presupposing an Intermediate Space located at a point in time between the News Space and the Reality Space where the progression of narrative time comes to a halt and experiences are rather relived than reported. The salience of the Intermediate Space may be signaled by quotative conditionals reflecting the viewpoints of implicitly quoted sources. These results clarify how tense and temporal deixis steer the linguistic construal of time and viewpoint in news narratives, demonstrating that time and viewpoint are closely linked in the cognitive representation of these narratives. (shrink)

Trata-se, no presente artigo, de analisar as mudanças que historicamente tem ocorrido no EU e as rupturas na apreensâo da realidade. As atuais transformaçoes da realidade teriam levado a um asvaziamento do ser? Ou ainda, a realidade nâo teria mais nada a ver com o sujeito? Como apreender essas transformaçoes? Esta investigaçâo faz-se valer da leitura de Gramsci, por meio da qual a unidade entre se e o pensar aparece como uma possibilidade de superaçao da metafísica do sujeito à elaboraçâo (...) de uma ontología concreta. (shrink)

El artículo presenta los resultados de una investigación sobre la violencia política en Perú y su actual incidencia en la crisis de legitimidad de las instituciones políticas democráticas. La metodología empleada supone la revisión documental y el tratamiento de otras fuentes sobre las múltiples maneras como el conflicto armado debilitó la credibilidad en los mecanismos y estamentos democráticos. Se presentan elementos concluyentes sobre la continuidad, durante y después del conflicto, de la desigualdad, la frustración en la búsqueda de la verdad (...) y justicia ante la violación de los derechos humanos como causas de la crisis e inestabilidad política en Perú. El artículo permitirá concluir con la grave crisis de gobernabilidad que atraviesa el país, que se traduce en prácticas corruptas que paralizan su desarrollo económico, marcando el paso de una crisis económica a una crisis política: un puente que une los años 1992 a 2018 y que deja como saldo una pérdida generalizada de confianza en la clase política y en las instituciones del poder público en Perú. (shrink)

A central discussion in the theory of deliberative democracy in recent decades has focused on whether democratic deliberation, and consequently those participating in it, should aim, at least ideally, for political consensus. Thus, pluralist deliberative democrats have criticized the consensualist approach to deliberative democracy for neglecting the moral importance of political disagreement because of their fixation with reaching consensus. The debate between these two positions, initiated in the 1990s, has evolved in recent years toward more precision and sophistication. However, some (...) vagueness and ambiguities remain in many of the contributions and prevent us from getting an exact idea of the object of discussion. This article starts making further distinctions about several types of agreement and disagreement in order to clarify much more precisely the exact niche of dispute between these two views. They do not need to disagree on the value of many forms of disagreement and consensus. Their dispute consists only in a controversy about the relative value of post-deliberative, operative, substantive, legislative, regulatory, or adjudicative reason-based consensus as opposed to the corresponding reason-based disagreement. Finally, the article argues that this relatively small niche is made smaller by certain considerations. The most important of them is that this controversy remains at a high theoretical level and lacks practical importance: it only affects the kind of personal ideal commitment or aspiration that virtuous deliberators should have when entering into a deliberative process, and has no concrete consequent institutional implications. (shrink)